[next] [prev] [prev-tail] [tail] [up]

Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 278 194 244 217 6024 0 0 14816

N.S.

1 1.00 0.70 0.88 0.78 21.67 0.00 0.00 53.29

time (sec)

N/A 0.462 0.367 0.055 0.326 4.612 0.000 0.000 13.411

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 297 153 265 235 6136 0 0 15318

N.S.

1 1.00 0.52 0.89 0.79 20.66 0.00 0.00 51.58

time (sec)

N/A 0.751 0.631 0.049 0.324 12.056 0.000 0.000 13.622

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 325 174 286 256 6284 0 0 16111

N.S.

1 1.00 0.54 0.88 0.79 19.34 0.00 0.00 49.57

time (sec)

N/A 1.364 3.628 0.050 0.322 27.010 0.000 0.000 15.152

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

436 436 275 351 377 11910 0 0 18313

N.S.

1 1.00 0.63 0.81 0.86 27.32 0.00 0.00 42.00

time (sec)

N/A 1.773 2.486 0.080 0.317 36.196 0.000 0.000 41.994

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

391 391 230 336 354 11824 0 0 17579

N.S.

1 1.00 0.59 0.86 0.91 30.24 0.00 0.00 44.96

time (sec)

N/A 0.947 2.009 0.053 0.352 21.054 0.000 0.000 38.269

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

391 391 220 332 341 11827 0 0 17089

N.S.

1 1.00 0.56 0.85 0.87 30.25 0.00 0.00 43.71

time (sec)

N/A 0.951 1.519 0.047 0.366 15.760 0.000 0.000 38.279

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

391 391 204 336 356 11831 0 0 17494

N.S.

1 1.00 0.52 0.86 0.91 30.26 0.00 0.00 44.74

time (sec)

N/A 1.241 1.220 0.049 0.334 25.292 0.000 0.000 39.001

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

439 439 239 352 396 12008 0 0 22667

N.S.

1 1.00 0.54 0.80 0.90 27.35 0.00 0.00 51.63

time (sec)

N/A 1.561 2.509 0.051 0.365 39.862 0.000 0.000 29.801

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

493 493 287 373 449 12216 0 0 24620

N.S.

1 1.00 0.58 0.76 0.91 24.78 0.00 0.00 49.94

time (sec)

N/A 1.763 4.194 0.058 0.345 75.099 0.000 0.000 27.533

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

600 600 1351 466 571 17991 0 0 27429

N.S.

1 1.00 2.25 0.78 0.95 29.98 0.00 0.00 45.72

time (sec)

N/A 2.445 6.450 0.156 0.366 166.932 0.000 0.000 71.273

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

534 534 690 451 551 17852 0 0 26614

N.S.

1 1.00 1.29 0.84 1.03 33.43 0.00 0.00 49.84

time (sec)

N/A 1.384 6.419 0.136 0.442 108.208 0.000 0.000 61.366

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

533 533 333 450 538 17891 0 0 25944

N.S.

1 1.00 0.62 0.84 1.01 33.57 0.00 0.00 48.68

time (sec)

N/A 1.610 6.306 0.046 0.415 75.164 0.000 0.000 62.636

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

531 531 552 451 537 17893 0 0 26133

N.S.

1 1.00 1.04 0.85 1.01 33.70 0.00 0.00 49.21

time (sec)

N/A 1.823 6.333 0.051 0.402 81.209 0.000 0.000 61.165

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

534 534 288 452 551 17859 0 0 26707

N.S.

1 1.00 0.54 0.85 1.03 33.44 0.00 0.00 50.01

time (sec)

N/A 1.498 4.940 0.058 0.401 118.654 0.000 0.000 63.373

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

601 601 585 466 607 18091 0 0 35300

N.S.

1 1.00 0.97 0.78 1.01 30.10 0.00 0.00 58.74

time (sec)

N/A 2.517 6.346 0.060 0.360 189.650 0.000 0.000 57.044

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 89 102 123 184 0 0 16727

N.S.

1 1.00 0.57 0.65 0.79 1.18 0.00 0.00 107.22

time (sec)

N/A 0.132 0.174 0.033 0.351 0.254 0.000 0.000 13.956

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 139 102 123 167 0 0 16060

N.S.

1 1.00 0.90 0.66 0.80 1.08 0.00 0.00 104.29

time (sec)

N/A 0.120 0.161 0.035 0.374 0.249 0.000 0.000 13.829

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 60 90 109 164 0 0 15753

N.S.

1 1.00 0.43 0.65 0.79 1.19 0.00 0.00 114.15

time (sec)

N/A 0.110 0.056 0.060 0.356 0.249 0.000 0.000 13.378

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 110 90 112 148 0 0 15437

N.S.

1 1.00 0.80 0.65 0.81 1.07 0.00 0.00 111.86

time (sec)

N/A 0.107 0.038 0.057 0.339 0.249 0.000 0.000 13.812

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 78 102 122 215 0 0 15569

N.S.

1 1.00 0.51 0.66 0.79 1.40 0.00 0.00 101.10

time (sec)

N/A 0.123 0.145 0.038 0.332 0.252 0.000 0.000 13.340

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 82 102 124 208 0 0 16545

N.S.

1 1.00 0.53 0.65 0.79 1.33 0.00 0.00 106.06

time (sec)

N/A 0.133 0.148 0.032 0.342 0.257 0.000 0.000 13.566

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 256 156 242 188 3238 0 0 18514

N.S.

1 1.00 0.61 0.95 0.73 12.65 0.00 0.00 72.32

time (sec)

N/A 0.554 0.171 0.051 0.337 0.340 0.000 0.000 42.437

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 228 226 173 3156 0 0 16878

N.S.

1 1.00 0.96 0.95 0.73 13.32 0.00 0.00 71.22

time (sec)

N/A 0.350 0.181 0.049 0.326 0.324 0.000 0.000 39.454

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 205 225 172 3160 0 0 17323

N.S.

1 1.00 0.86 0.95 0.73 13.33 0.00 0.00 73.09

time (sec)

N/A 0.443 0.095 0.048 0.326 0.322 0.000 0.000 37.529

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 229 226 172 3156 0 0 16598

N.S.

1 1.00 0.97 0.95 0.73 13.32 0.00 0.00 70.03

time (sec)

N/A 0.490 0.122 0.044 0.394 0.335 0.000 0.000 37.134

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 256 132 242 188 3314 0 0 22906

N.S.

1 1.00 0.52 0.95 0.73 12.95 0.00 0.00 89.48

time (sec)

N/A 0.745 0.516 0.040 0.333 0.343 0.000 0.000 28.978

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

264 264 304 2183234 0 16118 0 0 0

N.S.

1 1.00 1.15 8269.83 0.00 61.05 0.00 0.00 0.00

time (sec)

N/A 2.317 3.732 1.761 0.000 3.479 0.000 0.000 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

201 201 239 2180698 0 15912 0 0 61200

N.S.

1 1.00 1.19 10849.24 0.00 79.16 0.00 0.00 304.48

time (sec)

N/A 2.079 2.975 1.429 0.000 3.371 0.000 0.000 132.153

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

169 169 204 2178123 0 15940 0 0 1141

N.S.

1 1.00 1.21 12888.30 0.00 94.32 0.00 0.00 6.75

time (sec)

N/A 1.002 1.103 2.285 0.000 2.376 0.000 0.000 20.288

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

154 154 169 2176213 0 7865 0 0 0

N.S.

1 1.00 1.10 14131.25 0.00 51.07 0.00 0.00 0.00

time (sec)

N/A 0.702 1.118 1.061 0.000 1.410 0.000 0.000 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

199 199 194 2181119 0 7946 0 0 0

N.S.

1 1.00 0.97 10960.40 0.00 39.93 0.00 0.00 0.00

time (sec)

N/A 0.874 1.745 0.827 0.000 1.453 0.000 0.000 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 250 226 2183172 0 7964 0 0 0

N.S.

1 1.00 0.90 8732.69 0.00 31.86 0.00 0.00 0.00

time (sec)

N/A 1.269 3.432 1.404 0.000 1.420 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

314 314 265 2185304 0 8039 0 0 0

N.S.

1 1.00 0.84 6959.57 0.00 25.60 0.00 0.00 0.00

time (sec)

N/A 1.865 4.425 1.618 0.000 1.418 0.000 0.000 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

323 323 347 2403184 0 24426 0 0 0

N.S.

1 1.00 1.07 7440.20 0.00 75.62 0.00 0.00 0.00

time (sec)

N/A 3.542 4.650 0.898 0.000 5.198 0.000 0.000 0.000

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

268 268 290 2400957 0 24274 0 0 0

N.S.

1 1.00 1.08 8958.79 0.00 90.57 0.00 0.00 0.00

time (sec)

N/A 3.442 2.699 0.896 0.000 4.736 0.000 0.000 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

204 204 243 2396039 0 24220 0 0 0

N.S.

1 1.00 1.19 11745.29 0.00 118.73 0.00 0.00 0.00

time (sec)

N/A 2.161 1.111 0.954 0.000 4.766 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

209 209 416 2394883 0 24297 0 0 0

N.S.

1 1.00 1.99 11458.77 0.00 116.25 0.00 0.00 0.00

time (sec)

N/A 2.319 4.457 0.908 0.000 4.515 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

196 196 238 2398858 0 12024 0 0 0

N.S.

1 1.00 1.21 12239.07 0.00 61.35 0.00 0.00 0.00

time (sec)

N/A 1.368 0.998 0.911 0.000 2.464 0.000 0.000 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

259 259 286 2400946 0 12093 0 0 0

N.S.

1 1.00 1.10 9270.06 0.00 46.69 0.00 0.00 0.00

time (sec)

N/A 1.426 3.341 0.879 0.000 2.318 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

311 311 346 2403086 0 12128 0 0 0

N.S.

1 1.00 1.11 7726.96 0.00 39.00 0.00 0.00 0.00

time (sec)

N/A 1.711 5.664 0.977 0.000 2.464 0.000 0.000 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

382 382 474 2403057 0 12202 0 0 0

N.S.

1 1.00 1.24 6290.73 0.00 31.94 0.00 0.00 0.00

time (sec)

N/A 2.598 6.785 0.900 0.000 2.431 0.000 0.000 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

397 397 411 2659561 0 35458 0 0 0

N.S.

1 1.00 1.04 6699.15 0.00 89.31 0.00 0.00 0.00

time (sec)

N/A 4.000 4.984 1.062 0.000 9.414 0.000 0.000 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

316 316 345 2657119 0 35244 0 0 0

N.S.

1 1.00 1.09 8408.60 0.00 111.53 0.00 0.00 0.00

time (sec)

N/A 4.088 4.832 1.038 0.000 7.575 0.000 0.000 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

260 260 291 2654895 0 35212 0 0 0

N.S.

1 1.00 1.12 10211.13 0.00 135.43 0.00 0.00 0.00

time (sec)

N/A 3.499 2.863 1.033 0.000 7.660 0.000 0.000 0.000

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

241 241 358 2653772 0 35230 0 0 0

N.S.

1 1.00 1.49 11011.50 0.00 146.18 0.00 0.00 0.00

time (sec)

N/A 2.967 2.707 1.078 0.000 7.595 0.000 0.000 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

240 240 417 2654078 0 35349 0 0 0

N.S.

1 1.00 1.74 11058.66 0.00 147.29 0.00 0.00 0.00

time (sec)

N/A 3.120 4.473 1.023 0.000 7.332 0.000 0.000 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

247 247 321 2652302 0 18802 0 0 0

N.S.

1 1.00 1.30 10738.06 0.00 76.12 0.00 0.00 0.00

time (sec)

N/A 1.375 2.288 1.021 0.000 5.056 0.000 0.000 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

309 309 381 2654465 0 18856 0 0 0

N.S.

1 1.00 1.23 8590.50 0.00 61.02 0.00 0.00 0.00

time (sec)

N/A 2.197 6.805 1.055 0.000 4.852 0.000 0.000 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

378 378 543 2659448 0 18922 0 0 0

N.S.

1 1.00 1.44 7035.58 0.00 50.06 0.00 0.00 0.00

time (sec)

N/A 2.339 7.155 1.047 0.000 4.896 0.000 0.000 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

460 460 632 2660696 0 18981 0 0 0

N.S.

1 1.00 1.37 5784.12 0.00 41.26 0.00 0.00 0.00

time (sec)

N/A 2.741 7.313 5.880 0.000 4.906 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

253 253 356 1491744 0 16341 0 0 0

N.S.

1 1.00 1.41 5896.22 0.00 64.59 0.00 0.00 0.00

time (sec)

N/A 3.345 4.856 5.865 0.000 2.542 0.000 0.000 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

206 206 245 1889462 0 20328 0 0 0

N.S.

1 1.00 1.19 9172.15 0.00 98.68 0.00 0.00 0.00

time (sec)

N/A 1.598 2.010 0.951 0.000 4.848 0.000 0.000 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

168 168 205 1885950 0 20234 0 0 30600

N.S.

1 1.00 1.22 11225.89 0.00 120.44 0.00 0.00 182.14

time (sec)

N/A 0.825 1.404 0.951 0.000 4.151 0.000 0.000 103.958

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

123 123 137 1878820 0 9913 0 0 8223

N.S.

1 1.00 1.11 15274.96 0.00 80.59 0.00 0.00 66.85

time (sec)

N/A 0.606 0.261 0.921 0.000 2.976 0.000 0.000 59.965

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

159 159 172 1886236 0 10036 0 0 0

N.S.

1 1.00 1.08 11863.12 0.00 63.12 0.00 0.00 0.00

time (sec)

N/A 0.827 0.553 0.920 0.000 2.982 0.000 0.000 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

203 203 195 1888895 0 10067 0 0 0

N.S.

1 1.00 0.96 9304.90 0.00 49.59 0.00 0.00 0.00

time (sec)

N/A 1.004 2.318 0.893 0.000 3.625 0.000 0.000 0.000

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

256 256 227 1890924 0 10125 0 0 0

N.S.

1 1.00 0.89 7386.42 0.00 39.55 0.00 0.00 0.00

time (sec)

N/A 1.153 5.785 0.941 0.000 3.061 0.000 0.000 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

219 219 341 1560668 0 37564 0 0 0

N.S.

1 1.00 1.56 7126.34 0.00 171.53 0.00 0.00 0.00

time (sec)

N/A 2.216 2.034 1.549 0.000 10.950 0.000 0.000 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

170 170 239 1559497 0 18532 0 0 0

N.S.

1 1.00 1.41 9173.51 0.00 109.01 0.00 0.00 0.00

time (sec)

N/A 0.806 1.698 1.434 0.000 7.014 0.000 0.000 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

175 175 202 4927 0 18563 0 0 0

N.S.

1 1.00 1.15 28.15 0.00 106.07 0.00 0.00 0.00

time (sec)

N/A 0.935 0.885 29.704 0.000 6.947 0.000 0.000 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

216 216 248 5198 0 18689 0 0 0

N.S.

1 1.00 1.15 24.06 0.00 86.52 0.00 0.00 0.00

time (sec)

N/A 1.211 2.327 3.927 0.000 7.038 0.000 0.000 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

276 276 299 9712 0 18754 0 0 0

N.S.

1 1.00 1.08 35.19 0.00 67.95 0.00 0.00 0.00

time (sec)

N/A 1.300 3.264 3.992 0.000 7.046 0.000 0.000 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

282 282 596 2978162 0 55768 0 0 0

N.S.

1 1.00 2.11 10560.86 0.00 197.76 0.00 0.00 0.00

time (sec)

N/A 3.171 6.463 2.183 0.000 22.134 0.000 0.000 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

244 244 308 2978130 0 27576 0 0 0

N.S.

1 1.00 1.26 12205.45 0.00 113.02 0.00 0.00 0.00

time (sec)

N/A 1.502 3.350 5.394 0.000 14.842 0.000 0.000 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

244 244 320 2978176 0 27593 0 0 0

N.S.

1 1.00 1.31 12205.64 0.00 113.09 0.00 0.00 0.00

time (sec)

N/A 1.150 3.738 2.542 0.000 14.523 0.000 0.000 0.000

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

247 247 273 2975233 0 27639 0 0 0

N.S.

1 1.00 1.11 12045.48 0.00 111.90 0.00 0.00 0.00

time (sec)

N/A 1.077 2.753 3.069 0.000 14.523 0.000 0.000 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

301 301 326 2976756 0 27749 0 0 0

N.S.

1 1.00 1.08 9889.55 0.00 92.19 0.00 0.00 0.00

time (sec)

N/A 1.568 4.033 2.102 0.000 14.454 0.000 0.000 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

359 359 383 2982515 0 27865 0 0 0

N.S.

1 1.00 1.07 8307.84 0.00 77.62 0.00 0.00 0.00

time (sec)

N/A 2.221 3.891 5.471 0.000 14.524 0.000 0.000 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

155 155 190 943434 0 9186 0 0 0

N.S.

1 1.00 1.23 6086.67 0.00 59.26 0.00 0.00 0.00

time (sec)

N/A 0.236 0.837 1.307 0.000 1.046 0.000 0.000 0.000

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

117 117 124 940499 0 4509 0 0 0

N.S.

1 1.00 1.06 8038.45 0.00 38.54 0.00 0.00 0.00

time (sec)

N/A 0.186 0.057 0.573 0.000 0.750 0.000 0.000 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

111 111 125 940264 0 4469 0 0 0

N.S.

1 1.00 1.13 8470.85 0.00 40.26 0.00 0.00 0.00

time (sec)

N/A 0.168 0.048 0.542 0.000 0.771 0.000 0.000 0.000

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

150 150 158 943929 0 4608 0 0 0

N.S.

1 1.00 1.05 6292.86 0.00 30.72 0.00 0.00 0.00

time (sec)

N/A 0.283 0.421 0.576 0.000 0.761 0.000 0.000 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

379 379 263 99 0 5405 0 0 3945

N.S.

1 1.00 0.69 0.26 0.00 14.26 0.00 0.00 10.41

time (sec)

N/A 0.568 1.074 0.560 0.000 1.890 0.000 0.000 25.427

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 347 97 0 2785 0 0 2537

N.S.

1 1.00 0.92 0.26 0.00 7.39 0.00 0.00 6.73

time (sec)

N/A 0.620 0.987 0.614 0.000 0.373 0.000 0.000 20.451

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 357 227 72 0 4121 0 147 3228

N.S.

1 1.00 0.64 0.20 0.00 11.54 0.00 0.41 9.04

time (sec)

N/A 0.482 0.459 0.426 0.000 0.441 0.000 3.432 20.960

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 357 305 69 0 6073 0 0 4562

N.S.

1 1.00 0.85 0.19 0.00 17.01 0.00 0.00 12.78

time (sec)

N/A 0.369 0.273 0.401 0.000 1.345 0.000 0.000 23.039

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 104 42 0 278 0 795 2982

N.S.

1 1.00 0.70 0.28 0.00 1.88 0.00 5.37 20.15

time (sec)

N/A 0.154 0.671 0.358 0.000 0.253 0.000 0.662 22.944

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 299 330 72 0 443 0 0 4308

N.S.

1 1.00 1.10 0.24 0.00 1.48 0.00 0.00 14.41

time (sec)

N/A 0.458 0.401 0.457 0.000 0.249 0.000 0.000 23.058

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

403 403 355 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.866 4.833 0.000 0.000 0.000 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

267 267 232 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.853 2.516 0.000 0.000 0.000 0.000 0.000 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 194 155 0 0 0 0 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.402 0.744 0.000 0.000 0.000 0.000 0.000 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

127 127 108 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.164 0.500 0.000 0.000 0.000 0.000 0.000 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

185 185 144 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.363 1.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 282 239 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.790 3.328 0.000 0.000 0.000 0.000 0.000 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

438 438 530 0 0 0 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.927 6.408 0.000 0.000 0.000 0.000 0.000 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

659 659 1425 0 0 0 0 0 0

N.S.

1 1.00 2.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.695 6.475 0.000 0.000 0.000 0.000 0.000 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.731 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

189 189 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.519 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

187 187 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.496 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

187 187 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.488 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.756 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.512 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

183 183 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.429 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

387 385 384 0 0 0 0 0 0

N.S.

1 0.99 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.594 6.100 0.000 0.000 0.000 0.000 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

291 289 281 0 0 0 0 0 0

N.S.

1 0.99 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.758 2.612 0.000 0.000 0.000 0.000 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

219 219 169 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.434 1.496 0.000 0.000 0.000 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

168 168 125 0 0 0 0 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.286 0.000 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 143 120 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.171 0.204 0.000 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

190 190 169 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.432 0.000 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

228 228 202 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.510 0.463 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]